根据同素材命题之间的对当关系，具有等值关系的有（）

• A、□p与◊¬P
• B、¬□¬p与◊p
• C、¬◊p与□¬p
• D、◊p与□¬p
• E、¬□p与¬◊¬P

推理形式正确的有（）

• A、SIP˫SOP
• B、¬SEP˫SAP
• C、SAP˫SIP
• D、SOP˫SEP
• E、¬SOP˫SIP

一件谋杀案，经过周密调查后得到了以下确切的判断:

(1)凶手是甲或者乙;

(2)若凶手是甲，则谋杀不会发生在午夜前，

(3)若乙的供词是正确的，则谋杀发生在午夜前:

(4)若乙的供词不正确，则在午夜前受害者房里的灯光未灭，

(5)在午夜前受害者房里的灯光灭了。

试问:根据以上判断可推出谁是凶手?请写出推导过程。